A technique addressed the problem of security policy is given in this paper . it provides the possibility for addressing it at the system design stage & is interfaced to existing formal specifications and verification methods . tins paper has also shown how access rights can be derived from a petri net workflow dynamically 不僅用數(shù)據(jù)流圖對(duì)其視圖模型進(jìn)行了描述,而且用z浯言實(shí)現(xiàn)了模型的公式化方法,解決了協(xié)同工作中信息在安全級(jí)別不同的用戶間的流動(dòng)問(wèn)題,本文還提出了一種將工作流管理與訪問(wèn)控制相結(jié)合的動(dòng)態(tài)訪問(wèn)控制的petri網(wǎng)建模方法,能夠?qū)崿F(xiàn)訪問(wèn)控制的自動(dòng)化執(zhí)行并有效提高系統(tǒng)的管理效率。
E ) because requirement analysis and design specification are always written in natural language , it is difficult to measure them . as uml is becoming a standard diagrammatic notation for object - oriented modeling and is spreading rapidly , it has been chosen to express the artifacts developed during the requirement analysis and system design stages . this dissertation proposes the uml based artifacts measurement method , analyzes their viewpoints and experimental data )提出應(yīng)用uml進(jìn)行軟件需求和設(shè)計(jì)的度量方法,并設(shè)計(jì)和實(shí)現(xiàn)了一個(gè)基于uml的軟件需求分析和設(shè)計(jì)方案的度量工具,而且用實(shí)際軟件項(xiàng)目作為實(shí)例進(jìn)行了運(yùn)行實(shí)驗(yàn),并對(duì)其意義和度量結(jié)果數(shù)據(jù)進(jìn)行了分析。
Based on the theoretic research above , a prototype system of multidisciplinary synthetic design for system design of satellite is developed . practice indicates that the synthetic integration of mission analysis stage , system design argumentation stage and system design stage in the whole course of system design of satellite is basically implemented with this system , which offers an assistant tool of design and decision - making for the design staff 實(shí)踐表明,該原型系統(tǒng)基本實(shí)現(xiàn)了衛(wèi)星總體方案設(shè)計(jì)中任務(wù)分析階段、總體方案論證階段和總體方案設(shè)計(jì)階段全過(guò)程的綜合集成,為設(shè)計(jì)人員提供了一個(gè)輔助設(shè)計(jì)分析、決策的工具;通過(guò)系統(tǒng)的開發(fā),探索了一條開展衛(wèi)星總體多學(xué)科綜合設(shè)計(jì)優(yōu)化的技術(shù)途徑,實(shí)踐證明這條思路整體上是可行的。